منابع مشابه
Semiring of Sets
Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose ...
متن کاملSemiring of Sets: Examples
From now on X denotes a set and S denotes a family of subsets of X. Now we state the propositions: (1) Let us consider sets X1, X2, a family S1 of subsets of X1, and a family S2 of subsets of X2. Then {a×b, where a is an element of S1, b is an element of S2 : a ∈ S1 and b ∈ S2} = {s, where s is a subset of X1 ×X2 : there exist sets a, b such that a ∈ S1 and b ∈ S2 and s = a × b}. Proof: {a × b,...
متن کاملFinite Product of Semiring of Sets
We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets. We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use...
متن کاملRecognizable Sets with Multiplicities in the Tropical Semiring
The last ten years saw the emergence of some results about recognizable subsets of a free monoid with multiplicities in the Min-Plus semiring. An interesting aspect of this theoretical body is that its discovery was motivated throughout by applications such as the nite power property, Eggan's classical star height problem and the measure of the nondeterministic complexity of nite automata. We r...
متن کاملSemiring Neighbours
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for specifying liveness and fairness of computing systems and also defining notions of real analysis in terms of expanding modalities. After that, Roy and Zhou presented a sound and relatively complete Duration Calculus as an extension of NL. We present an embedding of NL into an idempotent semiring of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2014
ISSN: 1898-9934
DOI: 10.2478/forma-2014-0008